Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
How the Lean language brings math to coding and coding to math
amazon.science·21h·
Discuss: Hacker News
🔬Lean
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·15h
🔗Functional Compilers
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·21h·
Discuss: Hacker News
📝Text Compression
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·22h
🧮Kolmogorov Complexity
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·8h
⬆️Lambda Lifting
On This Day in Math - August 6
pballew.blogspot.com·10h·
Discuss: www.blogger.com
📐Mathematical Art
Why Computer Science Is No Good, Redux
cacm.acm.org·22h
🎯Performance Proofs
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·21h·
Discuss: Hacker News
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Python isdigit vs isnumeric
dev.to·19h·
Discuss: DEV
✅Format Verification
The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·2d
⚙Backus-Naur Form
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·1d·
Discuss: Hacker News
🌳Archive Merkle Trees